-
1 денотационная семантика
Большой англо-русский и русско-английский словарь > денотационная семантика
-
2 denotational semantics
Большой англо-русский и русско-английский словарь > denotational semantics
-
3 denotational semantics
English-Russian dictionary of computer science and programming > denotational semantics
-
4 denotational semantics
English-Russian information technology > denotational semantics
-
5 denotational semantics
-
6 preference semantics
-
7 semantics
-
8 semantics
-
9 denotational semantics
денотационная семантика, теория областейEnglish-Russian electronics dictionary > denotational semantics
-
10 denotational semantics
денотационная семантика, теория областейThe New English-Russian Dictionary of Radio-electronics > denotational semantics
-
11 denotational semantics
техника описания "значения" программ как математических функций, позволяющая доказывать теоремы и рассуждать о программах как о математических сущностяхсм. тж. semanticsАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > denotational semantics
-
12 axiomatic semantics
-
13 deep semantics
-
14 formal semantics
-
15 semantics
1. n лингв. семантика2. n пустословие; бессодержательное красноречие -
16 situational semantics
-
17 denotational semantics
Вычислительная техника: денотационная семантикаУниверсальный англо-русский словарь > denotational semantics
-
18 domain theory
1. теория доменов, теория доменных структур ( в поляризуемых конденсированных средах) 2. теория областей, денотационная семантика
См. также в других словарях:
Семантика вычислений — Семантика вычислений это определение процесса вычисления в виде последовательности правил перезаписи, которое вместе с представлением о сходимости впервые были использованы в контексте исчисления. Сходимость важна также в системах… … Википедия
Модель акторов — В компьютерных науках модель акторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на сообщения, которые он получает, актор… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
Язык программирования — Язык программирования формальная знаковая система, предназначенная для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, задающих внешний вид программы и действия,… … Википедия
Лямбда-исчисление — (λ исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их основная… … Википедия
Языки программирования — Язык программирования формальная знаковая система, предназначенная для записи программ. Программа обычно представляет собой некоторый алгоритм в форме, понятной для исполнителя (например, компьютера). Язык программирования определяет набор… … Википедия
Частично упорядоченное множество — У этого термина существуют и другие значения, см. Упорядоченное множество. Подмножества {x, y, z}, упо … Википедия
Непрерывность по Скотту — в математике свойство функций над частично упорядоченными множествами, выражающееся в сохранении точной верхней грани относительно отношения частичного порядка. Топология Скотта структура над полной решёткой или, в более общем случае, над полным… … Википедия
Язык — 1) орган, имеющийся у многих животных и расположенный во рту; у человека служит средством невербальной коммуникации путем показывания его; 2) пленный, посредством допроса которого предполагается получить сведения; 3) система сигналов,… … Мир Лема - словарь и путеводитель